RevKit: A Toolkit for Reversible Circuit Design

It is a widely supported prediction that conventional computer hardware technologies are going to reach their limits in the near future. Thus, to further satisfy the needs for more computational power, alternatives are required that go beyond the scope of conventional technologies. Reversible logic marks a promising new direction where all operations are performed in an invertible manner [1]. That is, in contrast to conventional logic, only bijective operations are allowed implying a reversible computation (i.e. the inputs can be obtained from the outputs and vice versa). This reversibility builds the basis for emerging technologies that may replace, or at least enhance, conventional computer chips, e.g. in the domain of quantum computation, low-power design, optical computing, DNA computing, or nanotechnologies.